Optimal. Leaf size=79 \[ -\frac {x^2 \cos \left (a+b x^2\right )}{3 b}+\frac {\sin \left (a+b x^2\right )}{3 b^2}-\frac {x^2 \cos \left (a+b x^2\right ) \sin ^2\left (a+b x^2\right )}{6 b}+\frac {\sin ^3\left (a+b x^2\right )}{18 b^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 79, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {3460, 3391,
3377, 2717} \begin {gather*} \frac {\sin ^3\left (a+b x^2\right )}{18 b^2}+\frac {\sin \left (a+b x^2\right )}{3 b^2}-\frac {x^2 \cos \left (a+b x^2\right )}{3 b}-\frac {x^2 \sin ^2\left (a+b x^2\right ) \cos \left (a+b x^2\right )}{6 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2717
Rule 3377
Rule 3391
Rule 3460
Rubi steps
\begin {align*} \int x^3 \sin ^3\left (a+b x^2\right ) \, dx &=\frac {1}{2} \text {Subst}\left (\int x \sin ^3(a+b x) \, dx,x,x^2\right )\\ &=-\frac {x^2 \cos \left (a+b x^2\right ) \sin ^2\left (a+b x^2\right )}{6 b}+\frac {\sin ^3\left (a+b x^2\right )}{18 b^2}+\frac {1}{3} \text {Subst}\left (\int x \sin (a+b x) \, dx,x,x^2\right )\\ &=-\frac {x^2 \cos \left (a+b x^2\right )}{3 b}-\frac {x^2 \cos \left (a+b x^2\right ) \sin ^2\left (a+b x^2\right )}{6 b}+\frac {\sin ^3\left (a+b x^2\right )}{18 b^2}+\frac {\text {Subst}\left (\int \cos (a+b x) \, dx,x,x^2\right )}{3 b}\\ &=-\frac {x^2 \cos \left (a+b x^2\right )}{3 b}+\frac {\sin \left (a+b x^2\right )}{3 b^2}-\frac {x^2 \cos \left (a+b x^2\right ) \sin ^2\left (a+b x^2\right )}{6 b}+\frac {\sin ^3\left (a+b x^2\right )}{18 b^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.11, size = 58, normalized size = 0.73 \begin {gather*} -\frac {27 b x^2 \cos \left (a+b x^2\right )-3 b x^2 \cos \left (3 \left (a+b x^2\right )\right )-27 \sin \left (a+b x^2\right )+\sin \left (3 \left (a+b x^2\right )\right )}{72 b^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.06, size = 66, normalized size = 0.84
method | result | size |
default | \(-\frac {3 x^{2} \cos \left (b \,x^{2}+a \right )}{8 b}+\frac {3 \sin \left (b \,x^{2}+a \right )}{8 b^{2}}+\frac {x^{2} \cos \left (3 b \,x^{2}+3 a \right )}{24 b}-\frac {\sin \left (3 b \,x^{2}+3 a \right )}{72 b^{2}}\) | \(66\) |
risch | \(-\frac {3 x^{2} \cos \left (b \,x^{2}+a \right )}{8 b}+\frac {3 \sin \left (b \,x^{2}+a \right )}{8 b^{2}}+\frac {x^{2} \cos \left (3 b \,x^{2}+3 a \right )}{24 b}-\frac {\sin \left (3 b \,x^{2}+3 a \right )}{72 b^{2}}\) | \(66\) |
norman | \(\frac {\frac {x^{2} \left (\tan ^{4}\left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )\right )}{b}+\frac {2 \tan \left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )}{3 b^{2}}+\frac {16 \left (\tan ^{3}\left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )\right )}{9 b^{2}}+\frac {2 \left (\tan ^{5}\left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )\right )}{3 b^{2}}-\frac {x^{2}}{3 b}-\frac {x^{2} \left (\tan ^{2}\left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )\right )}{b}+\frac {x^{2} \left (\tan ^{6}\left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )\right )}{3 b}}{\left (1+\tan ^{2}\left (\frac {a}{2}+\frac {b \,x^{2}}{2}\right )\right )^{3}}\) | \(142\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.33, size = 60, normalized size = 0.76 \begin {gather*} \frac {3 \, b x^{2} \cos \left (3 \, b x^{2} + 3 \, a\right ) - 27 \, b x^{2} \cos \left (b x^{2} + a\right ) - \sin \left (3 \, b x^{2} + 3 \, a\right ) + 27 \, \sin \left (b x^{2} + a\right )}{72 \, b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 58, normalized size = 0.73 \begin {gather*} \frac {3 \, b x^{2} \cos \left (b x^{2} + a\right )^{3} - 9 \, b x^{2} \cos \left (b x^{2} + a\right ) - {\left (\cos \left (b x^{2} + a\right )^{2} - 7\right )} \sin \left (b x^{2} + a\right )}{18 \, b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.41, size = 92, normalized size = 1.16 \begin {gather*} \begin {cases} - \frac {x^{2} \sin ^{2}{\left (a + b x^{2} \right )} \cos {\left (a + b x^{2} \right )}}{2 b} - \frac {x^{2} \cos ^{3}{\left (a + b x^{2} \right )}}{3 b} + \frac {7 \sin ^{3}{\left (a + b x^{2} \right )}}{18 b^{2}} + \frac {\sin {\left (a + b x^{2} \right )} \cos ^{2}{\left (a + b x^{2} \right )}}{3 b^{2}} & \text {for}\: b \neq 0 \\\frac {x^{4} \sin ^{3}{\left (a \right )}}{4} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 4.02, size = 94, normalized size = 1.19 \begin {gather*} -\frac {{\left (\cos \left (b x^{2} + a\right )^{3} - 3 \, \cos \left (b x^{2} + a\right )\right )} a}{6 \, b^{2}} + \frac {3 \, {\left (b x^{2} + a\right )} \cos \left (3 \, b x^{2} + 3 \, a\right ) - 27 \, {\left (b x^{2} + a\right )} \cos \left (b x^{2} + a\right ) - \sin \left (3 \, b x^{2} + 3 \, a\right ) + 27 \, \sin \left (b x^{2} + a\right )}{72 \, b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.75, size = 66, normalized size = 0.84 \begin {gather*} \frac {\frac {7\,\sin \left (b\,x^2+a\right )}{18}-\frac {{\cos \left (b\,x^2+a\right )}^2\,\sin \left (b\,x^2+a\right )}{18}+b\,\left (\frac {x^2\,{\cos \left (b\,x^2+a\right )}^3}{6}-\frac {x^2\,\cos \left (b\,x^2+a\right )}{2}\right )}{b^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________